Program logic - PDFSEARCH.IO - Document Search Engine

Program logic
Results: 2056

#	Item
541	The Invariant Game Matteo Vaccari [removed] XP Day Eindhoven, 20 November 2008 Add to Reading List Source URL: matteo.vaccari.name Language: English - Date: 2008-11-24 09:30:00 Logic in computer science Program logic Hoare logic Computer programming Postcondition Precondition ALGOL 68 Initialization Invariant Software engineering Theoretical computer science Computing
542	Good Practice Produces Good Outcomes: Good Shepherd Services’ Commitment to Evidence-Based Practice At Good Shepherd Services (GSS), our commitment to evidence-based practice ensures that our work with youth and famili Add to Reading List Source URL: www.goodshepherds.org Language: English - Date: 2012-05-29 12:28:07 Education Impact assessment Medical informatics Evidence-based practice Scientific method Program evaluation Logic model Impact evaluation WestEd Evaluation Evaluation methods Science
543	UC San Diego - WASC Exhibit 7.1 Inventory of Educational Effectiveness Indicators Academic Program Department: Philosophy Add to Reading List Source URL: philosophy.ucsd.edu Language: English - Date: 2012-10-15 20:59:26 Education Epistemology Philosophy of science Logic Philosophy Academic major Metaphysics Knowledge Science Branches of philosophy
544	Good Shepherd Services Advancing the Field with Evidence-Based Practice (EBP) Participant Characteristics FY13 Add to Reading List Source URL: www.goodshepherds.org Language: English - Date: 2014-01-23 10:38:01 Methodology Graph Style Sheets RDF Evidence-based practice Program evaluation Best practice Logic model GSS Infotech Evaluation Evaluation methods Science
545	© OECD, 2002. © Software: [removed], Acrobat is a trademark of ADOBE. All rights reserved. OECD grants you the right to use one copy of this Program for your personal use only. Unauthorised reproduction, lending, hirin Add to Reading List Source URL: www.oecd.org Language: English - Date: 2014-07-21 00:45:41 Impact assessment Impact evaluation Observational study Philosophy of science Methodology Program management Logic model Public budgeting Evaluation Evaluation methods Science
546	SYNTHESIS REPORT EVALUATION OF CIDA‟S REGIONAL INTER-AMERICAN PROGRAM[removed]TO[removed]Evaluation Directorate Add to Reading List Source URL: www.oecd.org Language: English - Date: 2014-07-21 03:57:06 Sociology Impact assessment Program evaluation Canadian International Development Agency Pan American Health Organization Capacity building International Development Research Centre Aid effectiveness Logic model Development Evaluation methods Evaluation
547	SESSION 6: REGULATORY PERFORMANCE INDICATORS Benoit Turcotte, LL.B. Add to Reading List Source URL: www.oecd.org Language: English - Date: 2014-07-21 01:38:01 Methodology Performance measurement Logic model Program evaluation Regulation Treasury Board Secretariat Policy Evaluation methods Evaluation Sociology
548	Double Vision: Two Questions about the Neo-Fregean Program∗ John MacFarlane† January 5, 2007 Abstract Add to Reading List Source URL: johnmacfarlane.net Language: English - Date: 2014-08-16 20:27:38 Bertrand Russell Predicate logic Analytic philosophers Philosophers of mathematics Logical syntax Definite description Function Free logic Logicism Logic Mathematics Philosophy
549	Abstracting Abstract Machines: A Systematic Approach to Higher-Order Program Analysis Add to Reading List Source URL: matt.might.net Language: English - Date: 2014-12-27 17:19:23 Mathematics Logic in computer science Operational semantics Finite-state machine Model theory Algorithm Theoretical computer science Applied mathematics Automata theory
550	<32332D312028C3D6C1BE292044454550BCBAB0FAB0FCB8AE5FBFB5B9AE5F66696E616C2E687770> Add to Reading List Source URL: www.oecd.org Language: English - Date: 2014-09-23 11:43:06 Methodology Impact assessment Program evaluation Logic model United States Agency for International Development Systems engineering process Logical framework approach Case study Evaluation methods Evaluation Science

UPDATE